A property of the solvable radical in finitely decidable varieties
نویسندگان
چکیده
منابع مشابه
On Solvable Congruences in Finitely Decidable Varieties
In this paper we establish the (1, 2) and (2, 1)-transfer principles for finitely decidable locally finite varieties. A class of structures is finitely decidable if the first order theory of its finite members is recursive. A variety is a class of algebras which is axiomatizable by a set of equations. The transfer principles deal with the local structure of finite algebras and have strong globa...
متن کاملFinitely Decidable Congruence Modular Varieties
A class TZ~ of algebras of the same type is said to be finitely decidable iff the first order theory of the class of finite members of 'V is decidable. Let y be a congruence modular variety. In this paper we prove that if "V is finitely decidable, then the following hold. (1) Each finitely generated subvariety of 2^ has a finite bound on the cardinality of its subdirectly irreducible members. (...
متن کاملSome Properties of Finitely Decidable Varieties
Let V be a variety whose class of finite members has a decidable first-order theory. We prove that each finite member A of V satisfies the (3,1) and (3,2) transfer principles, and that the minimal sets of prime quotients of type 2 or 3 in A must have empty tails. The first result has already been used by J. Jeong [9] in characterizing the finite subdirectly irreducible members of V with nonabel...
متن کاملDecidable Gödel Description Logics without the Finitely-Valued Model Property
In the last few years, there has been a large effort for analyzing the computational properties of reasoning in fuzzy description logics. This has led to a number of papers studying the complexity of these logics, depending on the chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy description ...
متن کاملClassification of solvable groups with a given property
In this paper we classify all finite solvable groups satisfying the following property P5: their orders of representatives are set-wise relatively prime for any 5 distinct non-central conjugacy classes.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2001
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm170-1-4